Normative Systems require Hybrid Knowledge Bases ( Extended
نویسندگان
چکیده
In this extended abstract we borrow an example from the Portuguese Penal Code to advocate that norms used to regulate interaction in human societies, just as those used in multi-agent systems, require the joint use of the features based on the Closed World Assumption of rules in Logic Programming and those based on the Open World Assumption of ontologies in Description Logics, all of which are provided by Hybrid MKNF Knowledge Bases.
منابع مشابه
Normative Systems require Hybrid Knowledge Bases ( Extended Abstract )
In this extended abstract we borrow an example from the Portuguese Penal Code to advocate that norms used to regulate interaction in human societies, just as those used in multi-agent systems, require the joint use of the features based on the Closed World Assumption of rules in Logic Programming and those based on the Open World Assumption of ontologies in Description Logics, all of which are ...
متن کاملNormative Systems Represented as Hybrid Knowledge Bases
Normative systems have been advocated as an effective tool to regulate interaction in multi-agent systems. Logic programming rules intuitively correspond to conditional norms, and their semantics is based on the closed world assumption, which allows default negation, often used in norms. However, there are cases where the closed world assumption is clearly not adequate, and others that require ...
متن کاملHybrid Reasoning with Forest Logic Programs
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. Although several decidable fragments of OASP have been identified, few reasoning procedures exist. In this paper, we provide a sound, complete, and terminating algorithm for satisfiability checking w.r.t. forest logic programs, a fragment where rules have a tree shape and allow for inequality ato...
متن کاملA Hybrid Object Clustering Strategy for Large Knowledge-Based Systems
Object bases underlying knowledge-based applications tend to be complex and require management. This research aims at improving the performance of object bases underlying a class of large knowledge-based systems that utilize object-oriented technology to engineer the knowledge base. In this paper, a hybrid clustering strategy that beneecially combines semantic clustering and iterative graph-par...
متن کاملSplitting and updating hybrid knowledge bases
Over the years, nonmonotonic rules have proven to be a very expressive and useful knowledge representation paradigm. They have recently been used to complement the expressive power of Description Logics (DLs), leading to the study of integrative formal frameworks, generally referred to as hybrid knowledge bases, where both DL axioms and rules can be used to represent knowledge. The need to use ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012